Name : gnome-shell-extension-pop-shell
| |
Version : 1.2.0^9.886a069
| Vendor : Fedora Project
|
Release : 1.fc37
| Date : 2022-10-19 04:43:39
|
Group : Unspecified
| Source RPM : gnome-shell-extension-pop-shell-1.2.0^9.886a069-1.fc37.src.rpm
|
Size : 0.41 MB
| |
Packager : Fedora Project
| |
Summary : GNOME Shell extension for advanced tiling window management
|
Description :
Pop Shell is a keyboard-driven layer for GNOME Shell which allows for quick and sensible navigation and management of windows. The core feature of Pop Shell is the addition of advanced tiling window management - a feature that has been highly-sought within our community. For many - ourselves included - i3wm has become the leading competitor to the GNOME desktop.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/37/76833/riscv64/Packages/g |